11![Asynchronous Functional Reactive Programming for GUIs Evan Czaplicki Stephen Chong Harvard University Asynchronous Functional Reactive Programming for GUIs Evan Czaplicki Stephen Chong Harvard University](https://www.pdfsearch.io/img/0a23136240895ca01291db3004640eff.jpg) | Add to Reading ListSource URL: people.seas.harvard.eduLanguage: English - Date: 2013-04-02 15:04:49
|
---|
12![Ultraproducts and Large Cardinals: The Early History Dana S. Scott University Professor Emeritus Carnegie Mellon University Ultraproducts and Large Cardinals: The Early History Dana S. Scott University Professor Emeritus Carnegie Mellon University](https://www.pdfsearch.io/img/d3ed59e6f4757551e3984964891744c2.jpg) | Add to Reading ListSource URL: logic.harvard.eduLanguage: English - Date: 2011-09-20 00:26:33
|
---|
13![Peter Koellner Department of Philosophy 320 Emerson Hall, Harvard University Cambridge, MA3970 Peter Koellner Department of Philosophy 320 Emerson Hall, Harvard University Cambridge, MA3970](https://www.pdfsearch.io/img/9f1bde043aef06b6201bc6af01ccc790.jpg) | Add to Reading ListSource URL: logic.harvard.eduLanguage: English - Date: 2011-09-20 00:26:33
|
---|
14![QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 18, 2011 (DayCA) Evaluate QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 18, 2011 (DayCA) Evaluate](https://www.pdfsearch.io/img/6c8b17bd997d7c0581eca5fde2dae76e.jpg) | Add to Reading ListSource URL: www.math.harvard.eduLanguage: English - Date: 2017-08-22 21:09:52
|
---|
15![Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies Aslan Askarov Harvard University Abstract—In systems that handle confidential information, Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies Aslan Askarov Harvard University Abstract—In systems that handle confidential information,](https://www.pdfsearch.io/img/7ec44a8d3309a56a0da8158f0bbe8d56.jpg) | Add to Reading ListSource URL: askarov.netLanguage: English - Date: 2017-05-02 08:00:35
|
---|
16![Democratizing content publication with Coral Michael J. Freedman, Eric Freudenthal, David Mazi`eres New York University http://www.scs.cs.nyu.edu/coral/ Abstract Democratizing content publication with Coral Michael J. Freedman, Eric Freudenthal, David Mazi`eres New York University http://www.scs.cs.nyu.edu/coral/ Abstract](https://www.pdfsearch.io/img/a1c9992acd7c2fd6eeaa061ac1e71938.jpg) | Add to Reading ListSource URL: read.seas.harvard.eduLanguage: English - Date: 2018-01-22 09:47:04
|
---|
17![Making Events Less Slippery With eel Ryan Cunningham and Eddie Kohler University of California, Los Angeles , Abstract Making Events Less Slippery With eel Ryan Cunningham and Eddie Kohler University of California, Los Angeles , Abstract](https://www.pdfsearch.io/img/d8f83c6d76d06ce50161f174cceb373a.jpg) | Add to Reading ListSource URL: read.seas.harvard.eduLanguage: English - Date: 2018-01-22 09:47:04
|
---|
18![Hanf Numbers and Presentation Theorems in AECs John Baldwin∗ Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago Will Boney† Hanf Numbers and Presentation Theorems in AECs John Baldwin∗ Department of Mathematics, Statistics and Computer Science University of Illinois at Chicago Will Boney†](https://www.pdfsearch.io/img/f1f2cd05ca70fb0652ad61173c0cd9e6.jpg) | Add to Reading ListSource URL: math.harvard.eduLanguage: English - Date: 2016-07-25 16:06:15
|
---|
19![Formalizing the SAFECode Type System Daniel Huang and Greg Morrisett Harvard University, Cambridge MA 02138, USA, , Formalizing the SAFECode Type System Daniel Huang and Greg Morrisett Harvard University, Cambridge MA 02138, USA, ,](https://www.pdfsearch.io/img/4fed9ea09d4a51db52fe9da84bb5233c.jpg) | Add to Reading ListSource URL: danehuang.github.ioLanguage: English - Date: 2017-05-24 19:52:40
|
---|